Abstracting soft constraints: Framework, properties, examples

Abstracting soft constraints: Framework, properties, examples

Abstracting Soft Constraints

ing Soft Constraint S. Bistarelli1, P. Codognet2, Y. Georget3, F. Rossi4 1: Universit a di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy. E-mail: [email protected] 2: University of Paris 6, LIP6, case 169, 4, Place Jussieu, 75 252 Paris Cedex 05, France. E-mail: [email protected] 3: INRIA Rocquencourt, BP 105, 78153 Le Chesnay, France. E-mail: [email protected]...

Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs

ing Soft Constraints: Some Experimental Results on Fuzzy CSPs Stefano Bistarelli1 2, Francesca Rossi3, and Isabella Pilan3 1 Istituto di Informatica e Telematica, CNR, Pisa, Italy [email protected] 2 Dipartimento di Scienze Universitá degli Studi “G. D’annunzio” di Chieti-Pescara, Italy [email protected] 3 Dipartimento di Matematica Pura ed Applicata Università di Padova, Italy fro...

A Rewriting Logic Framework for Soft Constraints

Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a very elegant and abstract semiring based theory of soft constraints where many different kinds of soft constraints can be represented and combined in a uniform way over so-called constraint semirings. In this paper we ...

Abstracting numeric constraints with Boolean functions